Timed Network Semantics for Communicating Processes
نویسنده
چکیده
Timed network semantics for CCS, which incorporate to the behaviour of timed processes also a capacity of communication network, are introduced. All these semantics are suitable for bottom-up speciications. A decreasing hierarchy of rigorous network bisimulations is presented. These bisimulations are non-interleaving reenements of the usual strong bisim-ulation. A complete and sound proof system for network bisimulation on nite processes running in a network is given.
منابع مشابه
A Relative Timed Semantics for BPMN
We describe a relative-timed semantic model for Business Process Modelling Notation (BPMN). We define the semantics in the language of Communicating Sequential Processes (CSP). This model augments our untimed model by introducing the notion of relative time in the form of delays chosen non-deterministically from a range. We illustrate the application by an example. We also show some properties ...
متن کاملSpecification and Proof in Real - time Systems Jim
This thesis shows how the mathematical tbeory of Timed Communicating Sequen tial Processes (Timed CSP) developed by Reed and Roscoe may be applied to the specification and proof of complex real-time systems. A number of substantial additions are made to the theory, producing a powerful tool for the analysis and implementation of timing requirements and concurrency. The syntax and semantics of ...
متن کاملThe Syntax and Semantics of Timed $mu Crl$ the Syntax and Semantics of Timed Crl
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...
متن کاملFormal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
Embedded system heterogeneity leads to the need to understand the system as an aggregation of components in which different behavioural semantics should cohabit. Heterogeneity has two dimensions. On the one hand, during the design process, different execution semantics, specifically in terms of time (untimed, synchronous, timed) can be required in order to provide specific behaviour characteris...
متن کاملCoordination by Timers for Channel-Based Anonymous Communications
In considering systems of distributed processes, we must deal with access to resources, locations and communication among processes. In this paper we present a new model for timed coordination of communicating distributed processes using an extension of the π-calculus with locations, types and timers. Types are used to express restricted access to distributed resources. Timers de ne timeouts fo...
متن کامل